$\forall$$M$:MsgA, $l$:IdLnk, ${\it tg}$:Id. $M$.din($l$,${\it tg}$) $\in$ Type